bitkeeper revision 1.1159.113.1 (41707bdeJOc1nGZ4m2BKGia9VqochA)
authorkaf24@freefall.cl.cam.ac.uk <kaf24@freefall.cl.cam.ac.uk>
Sat, 16 Oct 2004 01:39:42 +0000 (01:39 +0000)
committerkaf24@freefall.cl.cam.ac.uk <kaf24@freefall.cl.cam.ac.uk>
Sat, 16 Oct 2004 01:39:42 +0000 (01:39 +0000)
Sync pagetables when migrating a domain betwene CPUs.

xen/common/dom0_ops.c

index 829eb1de2ee9cf973066b61086bb65b1e81c95fa..09b9d5d2d56f86e8e6480715e0805156bc91092c 100644 (file)
@@ -271,7 +271,8 @@ long do_dom0_op(dom0_op_t *u_dom0_op)
         else
         {
             domain_pause(d);
-            if(d->processor != cpu % smp_num_cpus)
+            synchronise_pagetables(~0UL);
+            if ( d->processor != (cpu % smp_num_cpus) )
                 set_bit(DF_MIGRATED, &d->flags);
             set_bit(DF_CPUPINNED, &d->flags);
             d->processor = cpu % smp_num_cpus;